Fizikos terminų žodynas : lietuvių, anglų, prancūzų, vokiečių ir rusų kalbomis. – Vilnius : Mokslo ir enciklopedijų leidybos institutas. Vilius Palenskis, Vytautas Valiukėnas, Valerijonas Žalkauskas, Pranas Juozas Žilinskas. 2007.
Termsymbol — termo simbolis statusas T sritis fizika atitikmenys: angl. term symbol vok. Termsymbol, n rus. символ терма, m pranc. symbole du terme, m … Fizikos terminų žodynas
symbole du terme — termo simbolis statusas T sritis fizika atitikmenys: angl. term symbol vok. Termsymbol, n rus. символ терма, m pranc. symbole du terme, m … Fizikos terminų žodynas
term symbol — termo simbolis statusas T sritis fizika atitikmenys: angl. term symbol vok. Termsymbol, n rus. символ терма, m pranc. symbole du terme, m … Fizikos terminų žodynas
termo simbolis — statusas T sritis fizika atitikmenys: angl. term symbol vok. Termsymbol, n rus. символ терма, m pranc. symbole du terme, m … Fizikos terminų žodynas
ЛОГИКА ПРЕДИКАТОВ — центральный раздел логики, в котором изучается субъектно предикатная структура высказывании и истинностные взаимосвязи между ними. Л.п. представляет собой содержательное расширение логики высказываний. В рамках данного раздела любое высказывание… … Философская энциклопедия
Ньингма — Статуя Падмасамбхавы в монастыре Хемис. Ладак. Ньингма (транслитерация: (bKa ) rNying ma) одна из четырёх школ тибетского буддизма. «Ньингма» в переводе дословно «школа старых переводов». Ньингмапинцы счи … Википедия
ПРЕДИКАТОВ ИСЧИСЛЕНИЕ — общее название исчислений математической логики, являющихся формализацией тех разделов совр. логики, к рые изучают субъектно предикатную структуру предложений (высказываний), понимаемую в более широком, чем в традиц. логике, смысле: помимо теории … Философская энциклопедия
Логика первого порядка — (исчисление предикатов) формальное исчисление, допускающее высказывания относительно переменных, фиксированных функций и предикатов. Расширяет логику высказываний. В свою очередь является частным случаем логики высшего порядка. Содержание 1 … Википедия
Исчисление предикатов — Логика первого порядка (исчисление предикатов) формальное исчисление, допускающее высказывания относительно переменных, фиксированных функций, и предикатов. Расширяет логику высказываний. В свою очередь является частным случаем логики высшего… … Википедия
Исчисления предикатов — Логика первого порядка (исчисление предикатов) формальное исчисление, допускающее высказывания относительно переменных, фиксированных функций, и предикатов. Расширяет логику высказываний. В свою очередь является частным случаем логики высшего… … Википедия
